mir: remove unused generate_configure_event ()

diff --git a/gdk/mir/gdkmireventsource.c b/gdk/mir/gdkmireventsource.c
index f769c82b6bd537eb27bcb3065de37af63adee1e5..fedcd70a716e05c6ea78c98f415c70f29bd3da30 100644 (file)
--- a/gdk/mir/gdkmireventsource.c
+++ b/gdk/mir/gdkmireventsource.c
@@ -504,21 +504,6 @@ handle_window_event (GdkWindow            *window,
     }
 }
 
-static void
-generate_configure_event (GdkWindow *window,
-                          gint       width,
-                          gint       height)
-{
-  GdkEvent *event;
-
-  event = gdk_event_new (GDK_CONFIGURE);
-  event->configure.send_event = FALSE;
-  event->configure.width = width;
-  event->configure.height = height;
-
-  send_event (window, get_pointer (window), event);
-}
-
 static void
 handle_close_event (GdkWindow *window)
 {